As a 2006 Institute of Medicine report highlights, surprisingly little empirical attention has been paid to how prisoners arrive at decisions to participate in modern research. With our study, we aimed to fill this gap by identifying a more comprehensive range of factors as reported by prisoners themselves during semistructured interviews. Our participants described a diverse range of motives, both favoring and opposing their eventual decision to join. Many are well-recognized considerations among nonincarcerated clinical research participants, including a desire for (...) various forms of personal benefit, altruism, and concern about study risks and inconveniences. However, a number of influences seem unique to prisoners. Participants did not report that they were not coerced into enrolling, and they have even been under pressure not to enroll. However, many sought to enroll in order to obtain access to better health care, raising a concern about whether they were unfairly exploited. (shrink)

Long description: Präsenz - definiert als zeitliche und räumliche Gegenwart und Unmittelbarkeit - steht in einem Begründungszusammenhang mit implizitem Wissen. Innerhalb der Forschungsdiskussion um Präsenz etabliert der Band einen neuartigen Ansatz, indem er verschiedene Diskursivierungen von Präsenz in Religion, Kunst, Politik, Medien sowie Populärkultur aus dieser Interdependenz heraus zugänglich macht. Die Beiträge verfolgen dabei eine kulturvergleichende Perspektive, die speziell auf die Klärung der Kulturspezifik von Präsenzkonzepten abzielt und neue Möglichkeiten zur Analyse eines bisher wenig beachteten Themas eröffnet.

In lieu of an abstract, here is a brief excerpt of the content:Psychiatric Hospitalization—Bridging the Gap Between Respect and ControlPaul P. ChristopherIntroductionThis issue of Narrative Inquiry in Bioethics offers varied and somewhat unique perspectives on the experience of psychiatric hospitalization. This commentary highlights a number of salient themes that emerge from reading these essays and attempts to explore how they relate to the broader academic literature on psychiatric hospitalization, particularly with regard to ethical considerations. In reading these narratives, each several (...) times, I was repeatedly struck by the courage required of the authors, both to share their stories publicly and to endure the challenges that the writing process no doubt demanded of them—revisiting and suspending themselves in deeply emotional and, at times, traumatic experiences in order to share the most compelling narrative. Their hard work clearly paid off—the stories are at once intimate and indelible. Still, in many instances, I found myself wanting to know more; to enter the story and sit with the individual through these events; to ask what they were thinking or feeling in a particular situation; to see and hear the world in which they found themselves. Such is the nature of good story telling—the reader, left with the lingering vision created in his mind, turns over the last page, eagerly hoping for more.Narrative ThemesI. Loss of Autonomy or ControlPerhaps the most notable theme had to do with the loss of control or freedom that followed from hospitalization. On first consideration, it may seem odd that this issue appears so often since patient autonomy constitutes one of the fundamental principles of medical ethics. Only under specific circumstances—e.g., when there is a risk of imminent harm—may autonomy be curtailed, and even then only to the extent that is minimally necessary. Yet, as these narratives highlight, there are a multitude of ways in which psychiatric hospitalization engenders actual or perceived restrictions in freedom (Newton-Howes & Mullen, 2011).Consistent with prior research (Goodwin et al., 1999), many of the authors describe a fear or the actual experience of not being able to leave the hospital freely, even when the admission seems to have been voluntary. For example, one writer worries, “I was so afraid that if I ever went ‘in,’ I would never get ‘out’... I thought I would never taste freedom again... alive.” Another describes:When it came time for my possible discharge they told me that I might not get discharged because I was ‘acting up the previous evenings.’ My anxiety level at this point went through the roof. The only reason I was discharged was because my father knew some politicians. If not [End Page 29] for him I would have been a patient there for perhaps years and my life would have been ruined.A third gives this example: “When I asked to sign the form to leave after three days, [the psychiatrist] told me if I did that she would have me committed.” Another writer fears not having any control of how the psychiatrist might approach the treatment: “... I was totally vulnerable... would the doctors blame me, drug me, shock me, kill me?”Somewhat surprising, however, was the fact that so few of the narratives take issue with the decision to hospitalize. This omission is especially striking in light of the fact that prior reports consistently note that a substantial minority (up to nearly half) of voluntarily admitted patients nevertheless experience their admission as coerced (Bonsack & Borgeat, 2005; Hiday et al., 1997; Katsakou et al., 2010; Rogers et al., 1993; Sheehan & Burns, 2011). Because many of these narrators had been hospitalized more than once, the relative absence of expressed resistance to being hospitalized seems strange, particularly when earlier hospital experiences or their aftermath are often described as negative. For example, one individual characterized the time after being released from the hospital as, “My sense of self was questioned. I felt as if I lost my soul.” Another put it this way:When I got out of the private hospital, I felt like my soul had been ripped out of me. I felt like I had a gaping hole in the center of my body... I felt psychically raped, dazed, and confused.Given these... (shrink)

This thesis modifies the wording of William Clifford’s 1877 evidence principle (that ‘it is wrong always, everywhere, and for anyone, to believe anything upon insufficient evidence’) to propose an explicitly moral principle, restricted to descriptive beliefs (about what is or is not the case) and excluding prescriptive beliefs (about what ought or ought not to be the case). It considers potential counter-examples, particularly William James’s 1896 defence of religious belief; and concludes that the modified principle survives unscathed. It then searches (...) for suitable criteria for ‘sufficient’ and ‘insufficient’ evidence, first within a Bayesian framework enriched by pragmatic considerations, and finally by returning to Clifford’s conception of our shared responsibilities to our shared epistemic asset. Combined with elements of Edward Craig’s (1990, 1999) ‘state-of-nature’ theory of knowledge this gets us to a minimum threshold to avoid insufficient evidence and an aspirational criterion of sufficient evidence. (shrink)

Background: Therapeutic misconception, the misunderstanding of differences between research and clinical care, is widely prevalent among non-incarcerated trial participants. However, little attention has been paid to its presence among individuals who participate in research while incarcerated. Methods: This study examined the extent to which 72 incarcerated individuals may experience therapeutic misconception about their participation in one of six clinical trials, and its correlation with participant characteristics and potential influences on research participation. Results: On average, participants endorsed 70% of items suggestive (...) of therapeutic misconception. The tendency toward therapeutic misconception was significantly higher among African Americans and Latinos compared to Whites, among older and less educated participants, and among enrollment in a substance-abuse-related trial; it was also correlated with a belief that the trial was the only way to obtain needed treatment. Conclusions: Therapeutic misconception may be particularly high among select incarcerated individuals and is associated with a perceived lack of treatment options. Further examination of therapeutic misconception among incarcerated research participants is needed. (shrink)

The practice of paying prisoners to for their participation in research has long been debated, and the controversy is reflected in the differing policies in the U.S. prison systems. Empirical study of financial payments to inmates who enroll in research has focused on whether this practice is coercive. In this study, we examined whether monetary incentives have the potential to be unduly influential among fifty HIV‐positive prisoners. The majority of prisoners surveyed believed that inmates should receive some compensation for their (...) involvement in research and disagreed with statements suggesting that the offer of payment constitutes undue influence. However, a sense of potentially being susceptible to undue influence was significantly higher among participants who had spent a longer time in prison and had less education. Overall, our findings suggest that most prisoners feel that they would be able to make a decision about research enrollment that is not solely based on an offer of monetary payment. (shrink)

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)

Editors Rachel Brown and Deva Woodly bring together Mara Marin, Shatema Threadcraft, Christopher Paul Harris, Jasmine Syedullah, and Miriam Ticktin to examine the question: what would be required for care to be an ethic and political practice that orients people to a new way of living, relating, and governing? The answer they propose is that a 21st-century approach to the politics of care must aim at unmaking racial capitalism, cisheteropatriarchy, the carceral state, and the colonial present. The politics (...) of care is an approach to political thought and action that moves beyond the liberal approach which situates care as a finite resource to be distributed among autonomous individuals, or as a necessarily feminine virtue. Instead, those elucidating the politics of care for the contemporary era draw on rich interdisciplinary traditions and social movements to theorize and practice care as an inherently interdependent survival strategy, a foundation for political organizing, and a prefigurative politics for building a world in which all people can live and thrive. (shrink)

This paper traces the course of Prior’s struggles with the concepts and phenomena of modality, and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior’s intuitions and the arguments that rest upon them. However, I argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be possible. That picture. though, (...) is not inevitable. Rather, implicit in Prior’s own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior’s intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

Almost all jurisdictions where physician-assisted death is legal require that the requesting individual be competent to make medical decisions at time of assistance. The requirement of contemporary competence is intended to ensure that PAD is limited to people who really want to die and have the cognitive ability to make a final choice of such enormous import. Along with terminal illness, defined as prognosis of death within six months, contemporary competence is regarded as an important safeguard against mistake and abuse, (...) arguably the strongest objections to legalizing PAD.The insistence on contemporary competence is problematic. It means that someone who has dementia is ruled out as a candidate for PAD, even if she is terminally ill and suffering terrible and unrelievable pain. It also rules out individuals with strong and unwavering desires not to end their life in dementia. (shrink)

In a previous paper, Thomas V. Morris and I sketched a view on which abstract objects, in particular, properties, relations, and propositions , are created by God no less than contingent, concrete objects. In this paper r suggest a way of extending this account to cover mathematical objects as well. Drawing on some recent work in logic and metaphysics, I also develop a more detailed account of the structure of PRPs in answer to the paradoxes that arise on a naive (...) understanding of the structure ofthe abstract universe. (shrink)

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)

In using quality of life as a guide to rationing health services, Oregon laid itself open to charges of bias against the disabled—charges that cannot be dismissed out of hand.

In this paper, an argument of Alvin Plantinga's for the existence of abstract possible worlds is shown to be unsound. The argument is based on a principle Plantinga calls "Quasicompactness", due to its structural similarity to the notion of compactness in first-order logic. The principle is shown to be false.

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Arthur Prior was a truly philosophical logician. Though he believed formal logic to be worthy of study in its own right, of course, the source of Prior’s great passion for logic was his faith in its capacity for clarifying philosophical issues, untangling philosophical puzzles, and solving philosophical problems. Despite the fact that he has received far less attention than he deserves, Prior has had a profound influence on the development of philosophical and formal logic over the past forty years, a (...) fact to which the present volume bears eloquent witness. The genesis of the volume was the 1989 Arthur Prior Memorial Conference, held appropriately enough at the University of Canterbury in Christchurch, New Zealand, where Prior had his first appointment in philosophy. However, this is not a volume of proceedings. Only eight of the twenty-two essays were actually presented at the conference. The rest were solicited by the editor specially for the volume. The subtitle—Essays on the Legacy of Arthur Prior—is an appropriate one. Few of the essays devote much space to Prior’s work per se. Rather, most address issues that, if not first raised by Prior, were revisited by him and subjected to his typically keen and distinctively original analysis. The papers themselves divide pretty evenly into the technical and the less technical. In this short review I will focus on the latter. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

Bringsjord (1985) argues that the definition W of possible worlds as maximal possible sets of propositions is incoherent. Menzel (1986a) notes that Bringsjord’s argument depends on the Powerset axiom and that the axiom can be reasonably denied. Grim (1986) counters that W can be proved to be incoherent without Powerset. Grim was right. However, the argument he provided is deeply flawed. The purpose of this note is to detail the problems with Grim’s argument and to present a sound alternative (...) argument for his conclusion – basically the argument Russell gave to establish a well-known paradox in The Principles of Mathematics. (shrink)

Suppose we believe that God created the world. Then surely we want it to be the case that he intended, in some sense at least, to create THIS world. Moreover, most theists want to hold that God didn't just guess or hope that the world would take one course or another; rather, he KNEW precisely what was going to take place in the world he planned to create. In particular, of each person P, God knew that P was to exist. (...) Call this the "standard" conception. Most theists find the standard conception appealing. Unfortunately, the view seems to conflict with the equally appealing idea — call it "temporal actualism" — that there are no "future" individuals beyond those that already exist in the present moment. For, on this view, for any historical person P, prior to creation, there was no such person as P and hence nothing about P for God to know. Hence, in particular, God couldn't have known that P was to exist. This is of course not a new problem. But past solutions to it are highly problematic. In this paper, after canvassing previous approaches, I will propose a solution that seems to preserve both temporal actualism and a suitably robust form of the standard conception while avoiding the pitfalls of the past. (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

In a recent paper in JME, Shelton and Geppert use an approach by Menzel and Chandler-Cramer to sort out ethical dilemmas about the oral feeding of patients in advanced dementia, ultimately arguing that the usefulness of advance directives about such feeding is highly limited. They misunderstand central aspects of Menzel’s and Chandler-Cramer’s approach, and in making their larger claim that such directives are much less useful than typically presumed, they fail to account for five important elements in writing (...) good directives for dementia and implementing them properly: (1) Directives should be paired with appointment of trusted agents. (2) Appointed agents’ authority can be greatly weakened without advance directives to guide them. (3) Directives’ implementation does not require clinically precise assessment of dementia’s stage. (4) Palliative support is typically required for withholding of oral feeding to be compassionate. (5) The central purpose of stopping feeding is often not the avoidance of suffering but not prolonging unwanted life. (shrink)

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...) that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example. (shrink)

In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic.

“The thing about life is that one day you’ll be dead.” Indeed. But even total and honest acceptance of this brute fact about our relationship to death does not diminish the value we see in short remaining life at the end of life. Few just “give in” and no more fight for life because death is seen as an inherent part of life. They still invest small amounts of additional life with huge value. How high may that value plausibly be? (...) What is the value of a relatively short extension of life when death is inevitably near? (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

Ontology today is in many ways in a state similar to that of analysis in the late 18th century prior to arithmetization: it lacks the sort rigorous theoretical foundations needed to elevate ontology to the level of a genuine scientific discipline. This paper attempts to make some first steps toward the development of such foundations. Specifically, starting with some basic intuitions about ontologies and their content, I develop an expressively rich framework capable of treating ontologies as theoretical objects whose properties (...) and logical inter- connections — notably, potential for integration — we can clearly define and study. (shrink)

A central stream running through the history of philosophy has been the attempt to gather a wide range of ostensibly disparate intuitive phenomena under a small, integrated set of concepts. Edward Zalta’s work is a sustained celebration of this tradition. This paper — part of a symposium on Zalta's work — is a friendly, but critical examination of Zalta's commitment to possibilism and the roles they play in his theory.

In his paper "Are There Set Theoretic Possible Worlds?", Selmer Bringsjord argued that the set theoretic definition of possible worlds proffered by, among others, Robert Adams and Alvin Plantinga is incoherent. It is the purpose of this note to evaluate that argument. The upshot: these set theoretic accounts can be preserved, but only by abandoning the power set axiom.

The distinction between reference ontologies and application ontologies crept rather unobtrusively into the recent literature on knowledge engineering. A lot of the discourse surrounding this distinction – notably, the one framing the workshop generating this collection of papers – suggests the two types of ontologies are in some sort of opposition to one another. Thus, Borge et al. [3] characterize reference ontologies (more recently, foundational ontologies) as rich, axiomatic theories whose focus is to clarify the intended meanings of terms used (...) in specific domains. Application ontologies, by contrast, provide a minimal terminological structure to fit the needs of a specific community. Reflecting their minimal nature, Masolo et al. [7] refer to such ontologies as “lightweight” ontologies. An application ontology can be lightweight in a second respect as well, namely, that it may not necessarily take the form of fully-fledged axiomatic theory. Rather, it might only be a taxonomy of the relevant domain, a division of the domain into a salient collection of classes, perhaps ordered by the subclass relation. Importantly, though, for an application ontology to “fit the needs of a specific community” needn’t require representational accuracy. In the “worst” case (from a reference ontology perspective), to fit the needs of a community is just to represent uncritically what people in that community think about the ontology’s domain. (shrink)

By registering different health benefits on a common scale, CEA allows us to assess the relative social importance of different health care interventions and opens the way for the allocation decisions of health care policy. If it is really to be effective, however, CEA must be recalibrated so that it better reflects some of our widely held beliefs about the merits of different kinds of treatment.

It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face value, (...) reflect a significant metaphysical viewpoint, one that can in fact hinder or prejudice the representation of philosophical ideas and arguments. Philosophers have of course noticed this and have, accordingly, sought to alter or extend traditional FOL in novel ways to reflect a more flexible and egalitarian metaphysical standpoint. The purpose of this paper, however, is to document and discuss how similar “adaptations” to FOL—culminating in a standardized framework known as Common Logic —have evolved out of the more practical and applied encounter of FOL with the problem of representing, sharing, and reasoning upon information on the World Wide Web. (shrink)

Very broadly, an argument from collections is an argument that purports to show that our beliefs about sets imply — in some sense — the existence of God. Plantinga (2007) first sketched such an argument in “Two Dozen” and filled it out somewhat in his 2011 monograph Where the Conflict Really Lies: Religion, Science, and Naturalism. In this paper I reconstruct what strikes me as the most plausible version of Plantinga’s argument. While it is a good argument in at least (...) a fairly weak sense, it doesn’t initially appear to have any explanatory advantages over a non-theistic understanding of sets — what I call set theoretic realism. However, I go on to argue that the theist can avoid an important dilemma faced by the realist and, hence, that Plantinga’s argument from collections has explanatory advantages that realism does not have. (shrink)

According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, an apparent (...) consequence of this view is that any proposition expressed by a sentence containing a name that denotes a contingent being S is itself contingent — notably, the proposition [S does not exist]. Assuming that an entity must exist to have a property, necessarily, [S does not exist] must exist in order to be true. It seems to follow that, necessarily, [S does not exist] is not true and, hence, that S is not contingent after all. Past approaches to the problem — notably, those of Prior and Adams — lead to highly undesirable consequences for quantified modal logic. In this paper, several solutions to this puzzle are developed that preserve actualism, the structured view of propositions, the direct theory of reference, and the intuition that [S does not exist] is indeed possible without the adverse consequences for QML of previous solutions. (shrink)

I address Grosholz's critique of Resnik's mathematical structuralism and suggest that although Resnik's structuralism is not without its difficulties it survives Grosholz's attacks.

As the story goes, the source of the paradoxes of naive set theory lies in a conflation of two distinct conceptions of set: the so-called iterative, or mathematical, conception, and the Fregean, or logical, conception. While the latter conception is provably inconsistent, the former, as Godel notes, "has never led to any antinomy whatsoever". More important, the iterative conception explains the paradoxes by showing precisely where the Fregean conception goes wrong by enabling us to distinguish between sets and proper classes, (...) collections that are "too big" to be sets. While I agree wholeheartedly with this distinction, in this paper I argue first that the iterative conception does not provide an explanation of all of the set theoretic paradoxes. I then argue that we need to reconsider the distinction between sets and proper classes rather more carefully. The result will be that ZFC does not capture the iterative conception in its full generality. I close by offering a more general theory that, arguably, does. (shrink)

According to traditional theism, God alone exists a se, independent of all other things, and all other things exist ab alio, i.e., God both creates them and sustains them in existence. On the face of it, divine "aseity" is inconsistent with classical Platonism, i.e., the view that there are objectively existing, abstract objects. For according to the classical Platonist, at least some abstract entities are wholly uncreated, necessary beings and, hence, as such, they also exist a se. The thesis of (...) theistic activism purports to reconcile divine aseity with a robust Platonism. Specifically, the activist holds that God creates the abstract objects no less than the contingent concrete objects of the physical universe and hence that, like all created things, they exist ab alio after all, their necessity notwithstanding. But many philosophers believe a severe roadblock for activism remains — a problem known as the bootstrapping objection. Despite widespread faith in the deliverances of this argument, in this paper I show that the bootstrapping objection is open to significant objections on several fronts. (shrink)